1. Formal concept analysis
پدیدآورنده: Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
2. The theory of models
پدیدآورنده: edited by J.W. Addison, Leon Henkin, Alfred Tarski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
3. The theory of models; proceedings
پدیدآورنده:
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع: Logic Symbolic and mathematical models-Congresses
رده :
BC
135
.
I586
4. The theory of models; proceedings
پدیدآورنده: Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
